Перевод: с английского на русский

с русского на английский

С русского на:
Английский
С английского на:
Русский

effectively decidable

Толкование Перевод

1 effectively decidable

мат. эффективно разрешимый

Большой англо-русский и русско-английский словарь > effectively decidable
2 effectively decidable

Математика: эффективно разрешимый

Универсальный англо-русский словарь > effectively decidable
3 effectively decidable

мат.

эффективно разрешимый

English-Russian scientific dictionary > effectively decidable
4 effectively decidable function

Математика: эффективно разрешимая функция

Универсальный англо-русский словарь > effectively decidable function
5 effectively decidable predicate

Математика: эффективно разрешимый предикат

Универсальный англо-русский словарь > effectively decidable predicate
6 effectively decidable relation

Математика: эффективно разрешимое отношение

Универсальный англо-русский словарь > effectively decidable relation
7 effectively decidable function

эффективно разрешимая функция

English-Russian scientific dictionary > effectively decidable function
8 effectively decidable predicate

эффективно разрешимый предикат

English-Russian scientific dictionary > effectively decidable predicate
9 effectively decidable relation

эффективно разрешимое отношение

English-Russian scientific dictionary > effectively decidable relation
10 decidable

разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно разрешимое отношение formally decidable formula ≈ формально разрешимая формула numeralwise decidable formula ≈ нумерически разрешимая формула numeralwise decidable function ≈ нумерически разрешимая функция numeralwise decidable predicate ≈ нумерически разрешимый предикат - completely decidable - decidable algebra - decidable arithmetic - decidable formula - decidable language - decidable predicate - decidable proposition - decidable relation - decidable sentence - decidable set - decidable statement - decidable system - decidable theor - effectively decidable - formally decidable - numeralwise decidable - partially decidable разрешимый - * set (математика) разрешимое множество

Большой англо-русский и русско-английский словарь > decidable
11 decidable

разрешимый

- completely decidable

- effectively decidable

- formally decidable

- numeralwise decidable

- partially decidable

English-Russian scientific dictionary > decidable
12 function

1) функция, действие || функционировать; действовать

- decision-making function
- essential functions - routine function - safety-related functions
2) функциональное назначение; роль

- auxiliary function
- circuit function - intrinsic function - metering function - primary function - robot function
- system function

3) функциональное подразделение ( предприятия)

- maintenance function
- planning function - service function - support function
4) функциональный узел ( машины)

- press function

5) матем. функциональная зависимость, функция

domain of a function — область определения функции, область изменения независимой переменной

function is periodic in — функция периодична по

function onto itself — отображение (функции) на себя

function vanishes — функция обращается в нуль

function with angular limit — функция с угловым пределом

function with vanishing derivative — функция с равной нулю производной

function without zeros — не обращающаяся в нуль функция

to be an explicit function of — зависеть явно от

to be an implicit function of — зависеть неявно от

- Abelian function

- absolute density function
- absolutely additive function - absolutely bounded function - absolutely continuous function - absolutely integrable function - absolutely monotone function - absolutely summable function - absolutely symmetric function
- abstract function

- accuracy function

- acidity function

- acyclic function

- additive random function

- advanced function

- affect function

- affine function

- algebraically definable function

- algebroid function

- almost bounded function
- almost complex function - almost continuous function - almost convex function - almost everywhere defined function - almost everywhere finite function - almost invariant function - almost periodic function - almost recursive function - almost separably-valued function - almost separating function - almost universal function
- alpha function

- alternating function

- ambiguous function

- analytically extended function
- analytically independent function - analytically representable function
- angle function

- antianalytic function

- antiholomorphic function

- antihyperbolic function

- antilinear function

- antiperiodic function

- antisymmetric function

- antitone function

- antitrigonometric function

- aperiodic function

- Appell function

- approximately continuous function
- approximately differentiable function
- arbitrary function

- arcus function

- area function

- arithmetical function

- arithmetically extensible function

- associated function

- asymmetric function

- asymptotic function

- asymptotical distribution function
- asymptotically differentiable function - asymptotically finite function - asymptotically uniformly optimal function
- atomic function

- attainability function

- autocovariance function

- autocovariance generating function

- automorphic function

- auxiliary function

- averaged function

- averaging function

- balayage function

- barrier function

- basis function

- behavioral function

- beta binomial function

- beta incomplete function

- biadditive function

- biaffine function

- bias function

- bicomplex function

- bicubic function

- biharmonic function

- biinvariant function

- bijective function

- bilinear function

- bimodal function

- bimultiplicative function

- binding function

- binomial distribution function

- binonlinear function

- biregular function

- biunique function

- bivariate function

- boundary characteristic function

- boundary characteristic function

- boundary function

- bounded above function
- bounded below function
- bounded function

- bracket function

- broad function

- broken-line function

- bulb function

- bump function

- canonical function

- canonically definable function

- capacity function

- carpeting function

- carrier function

- casino function

- causal function

- cellwise constant function
- cellwise continuous function
- centering function

- certain function

- chain function

- chance function

- chi-square function

- choice function

- chord function

- chromatic function

- circularly symmetric function
- circumferentially mean p-valent function
- class function

- close to convex function

- cluster function

- clutching function

- codimension function

- coefficient function

- coercive function

- cofinite function

- coherence function

- collapsing function

- color function

- combinatorial function

- combined function

- commutator function

- compact function

- compactly supported function

- compact-valued function

- comparative function
- comparison function - complementary error function
- complementary function

- complementary trigonometric function
- complete analytic function - completely additive function - completely computable function - completely monotone function - completely multiplicative function - completely productive function - completely subadditive function - completely symmetrical function - completely undefined function - complex hyperbolic function
- complex-valued function

- complicated function

- component function

- composite function

- computably ambiguous function

- concave-convex function

- concentrated function

- concentration function

- concordant function

- conditional power function
- conditional risk function
- cone function

- confluent function

- confluent hypergeometric function

- congruence function

- conical function

- conjugate function

- connecting function

- consistent function

- constant-preserving function

- constrained function

- constraint function

- constructive function

- constructively nonrecursive function

- consumption function

- content function

- contiguous function

- continuously differentiable function

- continuum function

- contracting function

- contraction function

- contrast transfer function

- convergent function

- converse function

- convex-concave function

- cosecant function

- cosine function

- cospectral function

- cost function

- cosuperharmonic function

- cotangent function

- countably additive function
- countably multiplicative function - countably valued function
- counting function

- course-of-value function

- covariance function
- covariant function
- cramp function

- created function

- creating function

- criterion function

- critical function

- crosscorrelation function

- cross-covariance function

- cross-variance function

- cumulant function

- cumulant generating function
- cumulative distribution function - cumulative frequency function
- cup function

- curvilinear function

- cuspidal function

- cyclically monotone function

- cyclometric function

- cylinder function

- decay function

- decoding function

- decomposable function

- decomposing function

- defect function
- deficiency function
- deficient function

- degenerate function

- delta function

- denumerably-valued function

- dependence function

- depletion function

- derived function

- descriptive function

- design function

- determinate function

- diagonal function

- diagonalization function

- dibeta function

- difference function

- differential function

- digamma function

- dilogarithmic function

- dimensional function

- dimensionless function

- directing function

- discontinuous function

- discrete function

- discriminant function

- disjoined function

- dispersion function

- dissipative function

- distance function

- disturbing function

- ditonic function

- divergence-free vector function

- divergent function

- divisor function

- dominant function

- donor function

- don't care function
- double limit function
- double-spectral function

- double-valued function

- doubly orthogonal function
- doubly periodic function - doubly recursive function
- dual function

- dyadic function

- effective function

- effectively calculable function
- effectively computable function - effectively constant function - effectively decidable function - effectively variable function
- effectiveness function

- efficiency function

- elementarily recursive function
- elementarily symmetric function
- ellipsoidal function

- elliptic cylinder function

- empirical function

- empty function

- encoding function

- endogeneous function

- entire function of finite type
- entire function of maximum type - entire function of mean type - entire function of potential type - entire function of zero type - entire rational function
- entropy function

- enumerating function

- enumeration function

- envelope function

- equal-ripple function

- equibounded function

- equilibrium function

- equivalence function

- essentially bounded function
- essentially increasing function - essentially integrable function - essentially real function - essentially smooth function
- estimable function

- estimating function

- everywhere continuous function
- everywhere differentiable function - everywhere smooth function
- excessive function

- excitation function

- exhaustion function

- expandable function
- expansible function
- expansion function

- expansive function

- expectation function

- expenditure function

- explicitly bounded function
- explicitly definable function - exponentially convex function - exponentially decreasing function - exponentially increasing function - exponentially multiplicative function - exponentially vanishing function
- extendable function

- extended function

- extensional function

- exterior function

- extremal function

- extremized function

- extremum function

- factor function

- factorable function

- factored function

- factorial function

- fatigue function

- feably oscillating function

- featureless function

- field function

- filter function

- filtration function

- final state function

- finitary function

- finite-dimensional function

- finitely additive function
- finitely mean valent function - finitely measurable function
- finite-path function

- fitted function

- flat function

- flow function

- force function

- forcing function

- forecast function

- formally ordered function

- fractional function

- frequency distribution function

- frequency function

- full function

- fully closed function

- function of a single variable
- function of appropriate behavior - function of bounded characteristic - function of bounded type - function of bounded variation - function of complex variable - function of exponential type - function of finite genus - function of finite variation - function of fractional order
- function of function

- function of high smoothness
- function of infinite type - function of integral order
- function of intervals

- function of matrix

- function of maximal growth
- function of maximal type - function of minimal type - function of mixed variables - function of normal type - function of number theory - function of one variable
- function of phase

- function of position

- function of random variable
- function of rapid descent - function of rapid growth - function of real variable
- function of set

- function of several complex variables

- function of singularities

- function of state

- function of support

- function of time

- function of transition

- function of two variables

- fundamental function

- fuzzy function

- gage function

- gage-like function

- game function

- general recursive function
- general universal function - geometric carrier function
- given function

- global defining function

- goniometric function

- grammatical function

- graph-valued function

- greatest-integer function

- group function

- group-reduction function

- growth function

- halo function

- harmonizable function

- height-gain function

- hemicylindrical function

- Herglotz function

- heuristic function

- higher function

- homographic function

- homology function

- homotopic function

- hyperanalytic function

- hyperarithmetical function

- hyperbolic cylinder function

- hypercomplex function

- hyperelliptic function

- hyperharmonic function

- hyperrank function

- hyperspherical function

- hypertranscendental function

- hypoanalytic function

- ideal function

- imaginary function

- immediate successor function
- implicitly definable function
- improper function

- impulse function

- inclusion function

- inclusive function

- incomplete beta function
- incomplete dibeta function - incomplete gamma function - incomplete tribeta function - incompletely defined function
- increment function

- indecomposable function

- indefinite function

- index function

- indicial function

- individual function

- induced function

- inductive function

- inductively definable function
- inductively defined function - inductively integrable function
- infinite function

- infinitely differentiable function
- infinitely divisible function - infinitely many-valued function
- infinitesimal function

- information function

- information-packing function

- initial function

- injective function

- inner function

- input function

- insolvency function

- integrable function

- integral function of mean type
- integral logarithmic function
- integrating function

- intensity function

- interior function

- intermediary function

- interpolating function

- interpolatory function

- interval function

- inverse hyperbolic function
- inverse trigonometric function - inverted beta function
- invertible function

- irrational function

- irreducible function

- irregular function

- isotone function

- iterated function

- iteration function
- iterative function - joint correlation function - joint density function
- kernel function

- kinked function

- knapsack function

- lacunary function

- lambda function

- lattice function

- Lauricella function

- left-continuous function

- left-invariant function

- left-invertible function

- lexical function

- lifting function

- likelihood function

- limit of function

- limitable function

- limiting function

- linear discriminant function

- linearized function

- linearly dependent function
- linearly separable function
- local function

- locally analytic function

- locally approximable function
- locally bounded function - locally constant function - locally holomorphic function - locally homogeneous function - locally integrable function - locally negligible function - locally regular function - locally summable function - logarithmic generating function - logarithmic integral function
- logarithmically concave function

- logarithmically convex function
- logarithmically infinite function - logarithmically plurisubharmonic function - logarithmically subharmonic function
- logarithmico-exponential function

- logical addition function

- logical function

- logical multiplication function

- logistic function

- log-likelihood function

- loss-of-utility function

- lower closed function

- lower function

- lower measurable function
- lower semicontinuous function
- majorizing function

- many-valued function

- mapping function

- marginal distribution function

- mathematical function

- matrix function

- matrix-convex function

- maximal function

- mean-value function

- measurable function

- measure function

- measure-limited function

- mechanically computable function

- member function

- meromorphic function

- mesh function

- metaharmonic function

- metapragmatic function

- metasemantic function

- metaspherical function

- minimal function

- minimizing function

- minimum function

- minority function

- mixing function

- modified function

- modular function

- molecular set function

- moment generating function

- moment-generating function

- monochromatic function

- monodromic function

- monogenic function

- monomial function

- monomially alternating function
- monotone non-decreasing function - monotone non-increasing function
- monotonic function

- multiaffine function

- multiconstrained function

- multidimensional function

- multiextremal function

- multilinear function

- multiplace function

- multiple valued function

- multiplicity function

- multiplier function

- multiply harmonic function
- multiply periodic function - multiply recursive function
- multithreshold function

- multivalent function

- multivalued function

- multivariable function

- multivariant function

- mutual covariance function

- n-ary function

- nearly continuous function
- negative definite function - negative infinite function
- negligible function

- never-decreasing function

- never-increasing function

- next-state function

- nice function

- n-linear function

- n-metacaloric function

- noise function

- nomographic function

- nonanalytic function

- nonanticipative random function

- nonatomic function

- nonbounded function

- nonconstant function

- nondecreasing function

- nondegenerate function

- nondifferentiable function

- nonelementary function

- nonharmonizable function

- nonincreasing function

- noniterated function

- nonlattice function

- nonmonotonic function

- nonnegative definite function

- nonnegative function

- nonpositive function

- nonrandom function

- nonrecursive function

- nonsymmetrical density function
- nontangentially bounded function
- nontrivial function

- nonvanishing function

- norm function

- normalizable function

- normalized coherence function
- normalized function - normed function - nowhere continuous function - nowhere differentiable function - nowhere monotonic function
- n-place function

- n-point function

- n-th order function
- n-times differentiable function - n-tuply periodic function
- null function

- number-theoretical function

- numeralwise decidable function
- numeralwise expressible function - numeralwise representable function - numerical function - numerically valued function - oblate spheroidal function
- observation function

- odd function

- omega function

- one-loop function

- one-parameter function

- one-periodic function

- one-place function

- one-sheeted function

- one-sided function

- one-step function

- one-valued function

- one-variable function

- open propositional function
- operating characteristic function
- operative function

- operator function

- optimal decision function
- optimal policy function
- optimizable function

- optimized function

- order function

- order of function

- order preserving function

- orderable function

- ordered function

- ordering function

- ordinal function

- orientation function

- original function

- orthonormal function

- oscillating function

- oscillatory function

- outcome function

- outer function

- p-adic function

- pair correlation function

- pairing function

- parabolical cylinder function
- parametrically definable function
- parametrization function

- parametrized function

- partially computable function

- partially differentiable function

- partially recursive function
- partially symmetric function
- partition function

- partition preserving function

- partitionable function

- patch function

- pattern function

- peaked function

- peakless function

- Pearcey function

- penalty function

- pentagamma function

- permanent function

- perturbation function

- phase function

- phi function

- picture function

- piecewise analytic function
- piecewise constant function - piecewise continuously differentiable function
- piecewise continuously differentiable function

- piecewise expanding function
- piecewise linear function - piecewise monotonic function - piecewise polynomial function - piecewise quadratic function - piecewise regular function - piecewise smooth function
- plotted function

- pluriharmonic function

- plurisubharmonic function

- plurisublinear function

- plurisuperharmonic function

- point spread function
- pointwise approximated function
- pointwise bounded function

- pointwise discontinuous function

- policy function

- polyanalytic function

- polydromic function

- polygamma function

- polygenic function

- polygonal function

- polyhedral function

- polymorphic function

- polynomial clutching function

- polynomial function

- polynomially bounded function

- portfolio function

- posinomial function

- positive definite function
- positive homogeneous function - positive infinite function - positive monotone function - positive monotonic function - positive semidefinite function - potentially calculable function - potentially recursive function - power series function
- predetermined function

- predicate function

- predicate preserving function

- predual function

- premeromorphic function

- prescribed function

- primal function

- primary function

- prime-divisor function

- primitively recursive function

- principal function

- probability density function
- probability generating function
- process function

- product function

- production function

- productive function

- profit function

- projection function

- projective function

- propagation function

- proximally continuous function

- proximity function

- pseudoanalytic function

- pseudoconcave function

- pseudoconjugate function

- pseudoconvex function

- pseudodifferentiable function

- pseudoelliptic function

- pseudoharmonic function

- pseudohyperanalytic function

- pseudolikelihood function

- pseudolinear function

- pseudoperiodic function

- pseudopotential function

- pseudoproper function

- pseudorandom function

- pure quadratic function

- quadratic function

- quadratically integrable function
- quadratically summable function
- quantile function

- quasiaffine function

- quasialgebraic function

- quasianalytic function

- quasibounded function

- quasiconcave function

- quasiconformal function

- quasicontinuous function

- quasiconvex function

- quasidifferentiable function

- quasidoubly periodic function

- quasielliptic function

- quasiexcessive function

- quasiexponential function

- quasiharmonic function

- quasihomogeneous function

- quasiinterpolating function

- quasimonotonic function

- quasiperiodic function

- quasipolynomial function

- quasiradial function

- quasirecursive function

- quasiseparable function

- quasismooth function

- quasistandard function

- quasistar function

- quasisummation function

- quasiuniformly continuous function

- quasiunimodal function

- quaternion function

- radially symmetric function

- ramification function

- ramified function

- randomized decision function
- rapidly damped function - rapidly decreasing function - rapidly oscillatory function
- ray function

- Rayleigh dissipation function

- real-definite function

- real-valued function

- recession function

- reciprocal function

- recover function

- rectangle function

- recursively calculable function
- recursively continuous function - recursively convergent function - recursively defined function - recursively differentiable function - recursively divergent function - recursively extensible function
- reduced function

- regression function

- regret function

- regularized function

- regularly varying function

- regulated function

- relation reserving function
- relative distribution function - relative frequency function
- remuneration function

- renewal function

- renormalized function

- repeatedly differentiable function

- representable function

- representative function
- representing function - reproducing kernel function - residual function - residue function
- resolutive function

- resolvent function

- restricted function

- restricting function

- retarded function

- retracting function

- ridge function

- Riemann zeta function

- right-continuous function

- right-invariant function

- roof function

- root-mean-square function

- rudimentary function

- ruin function

- ruled function

- saddle function

- saltus function

- sample distribution function

- sampling function

- sandwich function

- scalar analytical function
- scalarwise integrable function - scalarwise measurable function
- scedastic function

- scheme function

- schlicht function

- search function

- section of function

- sectionally continuous function
- sectionally smooth function
- selective function

- self-dual function

- self-indexing function

- self-reciprocal function

- semiarithmetical function

- semicoercive function

- semicontinuous function

- semicylindrical function

- semidefinite function

- semiintegrable function

- semiinvariant function

- semimodular function

- semimultiplicative function

- semiproductive function

- semispectral function

- semisymmetric function

- sentential function

- separably valued function

- separately continuous function

- separation function

- sequence function

- sequential function

- sequentially continuous function

- set-preserving function

- set-valued function

- shape function

- sharp function

- shifted function

- sifting function

- sigma function

- signaling function

- simple function

- simply measurable function
- simply periodic function
- single-humped function

- singly periodic function
- singly recursive function
- singular function

- singularity function

- sinusoidal function

- skew-symmetric function

- slowly decreasing function
- slowly increasing function - slowly oscillating function - slowly varying function - smoothly varying function - solid spherical harmonic function - solid zonal harmonic function
- source function

- sourcewise representable function

- space-dependent function

- space-time function

- spannable function

- spheroidal function

- spinor-valued function

- spline function

- square-integrable function

- square-sine function

- square-summable function

- stability function

- stable function

- starlike function

- star-shaped function

- stationary random function

- statistical function

- status function

- steadily decreasing function
- steadily increasing function
- stiff function

- stochastic function

- stochastic transition function
- stopped random function
- straight-line function

- stream function

- streamline function

- strength function

- stretch function

- strictly concave function
- strictly convex function - strictly decreasing function - strictly increasing function - strictly integrable function - strictly monotone function
- stroke function

- strongly continuous function
- strongly differentiable function - strongly holomorphic function - strongly integrable function - strongly measurable function - strongly plurisubharmonic function
- structure function

- subadditive function

- subdifferentiable function

- subintegral function

- subinvariant function

- submultiplicative function

- suboperative function

- suboptimized function

- subordinated function

- subparabolic function

- subregular function

- success function

- sufficiently differentiable function

- sum function

- summatory function

- superadditive function

- supercaloric function

- supercontinuous function

- supermedian function

- supermultiplicative function

- superparabolic function

- superregular function

- surface function

- surjective function

- switching function

- symbolic function

- symmetrizable function

- symmetrized function

- tabulated function

- tame function

- tangential function

- target function

- temperate function

- temperature function

- tempered function

- tensor function

- ternary function

- tesseral function

- tetrachoric function

- tetragamma function

- time-limited function

- time-varying function

- tissue function

- toroidal function

- torus function

- total function

- total recursive function
- totally additive function - totally continuous function - totally measurable function - totally multiplicative function - totally positive function
- totient function

- tower function

- trace function

- transferable function

- transfinite function

- transformation function

- transition probability function

- translation function

- translation invariant function

- transmission function

- trapezoidal function

- trend function

- trial function

- triangle function
- triangular function
- tribeta function

- trigamma function

- trilinear function

- true function

- truncated function

- truncation function

- twice differentiable function

- twistor function

- two-parameter function

- two-place function

- two-point function

- two-sided function

- typically real function

- ultradifferentiable function

- ultraspherical function

- unbounded function

- uncertainty function

- uncomputable function

- unconditionally summable function

- unconstrained function

- undecomposable function

- undefined function

- uneven function

- uniform function

- uniformizing function

- uniformly approximable function
- uniformly best decision function - uniformly bounded function - uniformly definable function - uniformly differentiable function - uniformly homotopic function - uniformly integrable function - uniformly limited function - uniformly measurable function - uniformly smooth function
- unimodular function

- uniquely nomographic function

- unisolvent function

- unit function

- unit impulse function
- unit step function - unitary divisor function
- univalent function

- univariate function

- universally measurable function

- unknown function

- unramified function

- upper closed function
- upper measurable function - upper semicontinuous function
- valuation function

- vector-valued function

- vertex function

- voting function

- weakly additive function
- weakly analytic function - weakly continuous function - weakly differentiable function - weakly holomorphic function - weakly measurable function - weakly singular function - weighted random function
- well-behaved function

- well-integrable function

- window function

- wrapping function

- wurzelfrei function

- zero function

- zonal spherical function

English-Russian scientific dictionary > function
13 predicate

логика

1) предикат, сказуемое || предикатный

2) утверждение || утверждать

•

- algebraic predicate

- analytic predicate

- arithmetical predicate

- atomic predicate

- auxiliary predicate

- basic predicate

- binary predicate

- bounded predicate

- complement of predicate

- complete predicate

- completely defined predicate

- completely representable predicate

- computability predicate

- decidable predicate

- definable predicate

- derived predicate

- disjunctively definable predicate

- dyadic predicate

- effectively decidable predicate

- elementary predicate

- enumerable predicate

- equality predicate

- exhaustive predicate

- expressible predicate

- filtered predicate

- first-order predicate

- formula predicate

- generable predicate

- general recursive predicate

- higher-order predicate

- homomorphically stable predicate

- hyperarithmetical predicate

- individual predicate

- induction predicate

- invariant predicate

- irreducible predicate

- metamathematical predicate

- monadic predicate

- multiplace predicate

- multiplicatively stable predicate

- n-argument predicate

- n-ary predicate

- n-place predicate

- nullary predicate

- number-theoretic predicate

- numeralwise decidable predicate

- numeralwise expressible predicate

- numerical predicate

- one-place predicate

- partial predicate

- persistent predicate

- polynomial predicate

- positive-formula predicate

- positively calculable predicate

- predicate of predicates

- prime predicate

- primitive predicate

- primitive recursive predicate

- properly recursive predicate

- quasirecursive predicate

- recursively enumerable predicate

- representable predicate

- representing predicate

- resolvable predicate

- sameness predicate

- satisfying predicate

- saturable predicate

- second-order predicate

- semiarithmetical predicate

- semicomputable predicate

- singular predicate

- stable predicate

- strictly stable predicate

- strong predicate

- symmetric predicate

- total predicate

- triadic predicate

- truth predicate

- two-place predicate

- unary predicate

- undecidable predicate

- unitary predicate

- universal predicate

- variable predicate

- weakly representable predicate

English-Russian scientific dictionary > predicate
14 relation

1) зависимость, (взаимо)связь

2) отношение; соотношение

3) родственность

4) геол. условия залегания

•

relation in parametric form — зависимость в параметрической форме

relation over set — отношение на множестве

- absolute relation

- abstract relation

- additive relation

- adjoint relation

- algebraic relation

- almost regular relation
- almost universal relation
- analytical relation

- ancestral relation

- anharmonic relation

- anticommutation relation

- anticommutative relation

- antidiagonal relation

- antimonotone relation

- antipermutation relation

- antireflexive relation

- antisymmetric relation

- apartness relation

- arithmetical relation

- arithmetized relation

- associative relation

- associativity relation

- asymmetric relation

- asymptotic relation

- atomic relation

- basic relation

- bilinear relation

- birational relation

- bisymmetric relation

- boundary relation

- calculable relation

- causal relation
- cause-effect relation
- characteristic relation

- circuit relation

- closed relation

- closure relation

- coboundary relation

- collectivizing relation

- color-luminosity relation

- combination relation

- communication relation

- commutativity relation

- commutator relation

- complementary relation

- complete relation

- completeness relation

- conceptual relation

- congruence relation

- connected relation

- connectedness relation

- connecting relation

- consequence relation

- consistency relation

- constitutive relation

- constraining relation

- continuous relation

- convergent relation

- converse relation

- correlation relation

- correspondence relation

- cosimple relation

- covering relation

- cubic relation

- curvilinear relation

- de Broglie relation

- decidable relation

- decoded relation

- defect relation

- definable relation

- defining relation

- dependence relation

- derived relation

- determinate relation

- dichotomous relation

- difference relation

- differential relation

- difunctional relation

- direct relation

- directed relation

- discrete relation

- dispersion relation

- double relation

- dual relation

- dyadic relation

- dynamic relation

- effectively decidable relation

- elementary relation

- empirical relation

- empty relation

- enumerating relation

- equality relation

- equal-time commutation relation

- equilibrium relation

- explicitly definable relation

- expressible relation

- extensible relation

- extremal relation

- false relation

- fibering relation

- forcing relation

- formal relation

- functionally arithmetical relation

- fundamental relation

- funded relation

- fuzzy relation

- general recursive relation
- generalized semigroup relation
- generating relation

- genetic relation

- geometrical relation

- homeomorphism relation

- homogeneity relation

- homogeneous relation

- homotopy relation

- hyperarithmetical relation

- hyperelementary relation

- idempotent relation

- identical relation

- identity relation

- implicit relation

- incidence relation

- inclusion relation

- indifference relation

- inequality relation

- integral relation

- intransitive relation

- invariance relation

- invariant relation

- inverse relation

- irreflexive relation

- isomorphism relation

- length of relation

- limiting relation

- linear order relation

- logical relation

- logically constructed relation
- logically irreducible relation
- magnitude relation

- many-termed relation

- mass-energy relation

- matrix relation

- metrized relation

- multivalued relation

- naming relation

- n-ary relation

- natural relation

- nonlinear relation

- nonreflexive relation

- nonsymmetric relation

- nontransitive relation

- nontrivial relation

- normal relation

- n-place relation

- null relation

- number-theoretic relation

- numerical relation

- one-to-one relation

- operational relation

- order relation

- orthogonality relation

- pairwise connected relation
- parametrically definable relation - partial ordering relation
- partial relation

- permanence relation

- permutable relation

- perpendicularity relation

- plausibility relation

- polyadic relation

- polynomial relation

- positively calculable relation

- power relation

- predicative relation

- preference relation

- preorder relation

- prime relation

- primitive relation

- primitively recursive relation

- principal relation

- projective relation

- proper relation

- proportionality relation

- proximity relation

- pseudoorder relation

- quadratic relation

- quasiatomic relation

- quasicoordinate relation

- quasiorder relation

- quasirecursive relation

- quasitransitive relation

- quaternary relation

- range energy relation

- rank relation

- reciprocity relation

- recurrence relation

- recursion relation

- recursive relation
- recursively enumerable relation - recursively invariant relation - recursively representable relation
- redundant relation

- reflexive symmetric relation

- relation of coincidence

- relation of congruence

- relation of conjugary

- relation of consequence

- relation of direct relation

- relation of domination

- relation of equality

- relation of equinumerosity

- relation of equivalence

- relation of implication

- relation of inclusion

- relation of intermediacy

- relation of isomorphism

- relation of membership

- relation of modularity

- relation of orthogonality

- relation of preceding

- relation of recurrence

- relation of strict dominance

- relationship relation

- representing relation

- reversible relation

- rudimentary relation

- self-dual relation

- self-transitive relation

- semantic relation

- semirecursive relation

- separating relation

- sequential relation

- serial relation

- shuffle relation

- similarity relation

- simple recurrence relation

- skew-symmetric relation

- spatial relation

- special linear relation

- special relation

- stable relation

- static relation

- statistical relation

- stochastic relation

- strong relation

- strongly connected relation
- strongly definable relation
- structural relation

- subset relation

- substitutive relation

- successor relation

- symbolic relation

- symmetry relation

- temporal relation

- tetradic relation

- three-termed relation

- totally reflexive relation

- transitivity relation

- transportable relation

- triadic relation

- trichotomic relation

- trivializing relation

- two-termed relation

- unary relation

- uncertainty relation

- undecidable relation

- unextensible relation

- unimonotone relation

- universal relation

- virtual order relation

- void relation

- weakly permutable relation
- weakly symmetric relation
- well-founded relation

- well-ordered relation

English-Russian scientific dictionary > relation
15 эффективно разрешимый

мат. effectively decidable

Большой англо-русский и русско-английский словарь > эффективно разрешимый
16 formula

1) рецепт

2) формула || формульный

3) формулировка

•

to follow the formula — подчиняться [следовать] формуле; описываться формулой

- absolute formula

- absorbing formula

- adjunction formula

- analytic formula

- arithmetic formula

- arithmetically provable formula
- arithmetically valid formula
- associativity formula

- asymptotic expansion formula
- back interpolation formula
- base formula

- bilinear formula

- binomial formula

- boundable formula

- central difference formula

- chain formula

- characteristic formula

- circular formula

- class formula

- classical formula

- class-number formula

- closed formula

- closedness formula

- coboundary formula

- collection formula

- combinatorial formula

- combined formula

- compatible formula

- complete formula

- compositional formula

- compound formula

- compound interest formula
- computational formula - computing formula
- conditional formula

- conditionally filtering formula

- consistent formula

- constructive formula

- continuation formula

- contraction formula

- contradictory formula

- control formula

- conversion formula

- corollary formula

- correct formula

- correction formula
- corrector formula
- correlation formula

- cut formula

- decidable formula

- decomposable formula

- decomposition formula

- deducible formula

- definitory formula

- derivable formula

- derivation formula

- describing formula

- diagonal formula

- difference formula

- differentiation formula

- disprovable formula

- distance formula

- distribution formula

- dual formula

- dual-symmetric formula

- effectively true formula

- elementary formula

- empty formula

- end formula

- estimation formula

- evaluation formula

- even-numbered formula

- exact formula

- existential formula

- explicit formula

- explicitly definable formula

- exponential formula

- extrapolation formula

- false formula

- filtered formula

- final formula

- first resolvent formula
- formally decidable formula - formally refutable formula - formula of finite increments
- formula of inversion

- formula of signature

- formula of total probability

- formula of traces

- free formula

- Fresnel's formula

- fully symmetric formula

- functional formula

- Gauss formula

- general formula

- general recursively true formula

- generalized formula

- generalizing formula

- geometrically provable formula
- geometrically valid formula
- global formula

- goniometric formula

- graphic formula

- Griem's formula

- grotesque formula

- Hardy-Weinberg equilibrium formula
- homomorphically stable formula - identically false formula - identically true formula
- implicit formula

- implicitly definable formula

- incomplete formula

- inconsistent formula

- incorrect formula

- indecomposable formula

- induction formula

- infinitary formula

- intuitionistically derivable formula
- intuitionistically valid formula
- invalid formula

- invariant formula

- inverse formula

- isolated formula

- iterative formula

- jointly satisfiable formulas

- Khintchine-Pollaczek formula

- kinematic formula

- krakowian formula

- least squares formula

- limiting formula

- listing formula

- logical formula

- logically determinate formula
- logically valid formula - maximum likelihood formula
- metalinguistic formula

- mix formula

- mixing formula

- modal formula

- modally derivable formula
- modally valid formula
- modified formula

- monotonically decreasing formula
- monotonically increasing formula
- multinomial formula

- multiplicatively stable formula

- negative formula

- neutral formula

- Newton's interpolation formula

- normative formula

- number-theoretic formula

- numeralwise decidable formula
- numeralwise expressible formula - numeralwise representable formula
- numerical formula

- open formula

- optimal formula

- perturbation formula

- Planck radiation formula

- polarization formula

- polynomial formula

- poor formula

- positive formula

- positively derivable formula
- positively valid formula
- postulation formula

- predicate letter formula

- predicative formula

- prediction formula

- prenex formula

- primitive formula

- primitively conditional formula
- primitively recursive formula
- principal formula

- prismatoid formula

- propositional formula

- purely analytic formula

- quadrangle formula

- quantifier-free formula

- quasiatomic formula

- ranked formula

- realizable formula

- reciprocation formula
- reciprocity formula
- recurrent formula

- recursion formula

- regression formula

- residue formula

- restricted formula

- reverse formula

- rudimentary formula

- satisfiable formula

- secondarily satisfiable formula
- secondarily valid formula
- semiempirical formula

- sequential formula

- set-theoretical formula

- shrewd formula

- side formula

- sieve formula

- simple interest formula

- simplified formula

- smoothing formula

- snap formula

- spherical product formula
- square stable formula
- squared formula

- subtraction formula

- symmetrical formula

- symmetrical interpolation formula

- tabulated formula

- terminal formula

- testing formula

- topological formula

- transfinite formula

- true formula

- truncated formula

- two-level formula

- unary formula

- undecidable formula

- underivable formula

- universal formula

- universally existential formula
- universally valid formula
- unprovable formula

- unreliazable formula

- unsatisfiable formula

- untestable formula

- verifiable formula

English-Russian scientific dictionary > formula
17 set

1) набор; комплект

- domino set

- optimum set of conditions
- semiconductor assembly set - set of Belleville springs - set of conventional set - set of drawing instruments - set of gate patterns - set of gauge blocks - set of logical elements - set of statistical data - set of technical aids
- snap set

- socket-powered set

- spring set

2) партия

3) совокупность; множество

- set of variate values

- specification set

4) установка; агрегат

- carrier set

- cross-task measuring set
- desk telephone set - dial telephone set
- Diesel-electric set

- flywheel set

- gear set

- hand telephone set

- house set

- key pulsing telephone set
- local-battery telephone set - man-pack radio set - multi-operator welding set
- radio set

- reflection measuring set

- shaft-sinking set

- short-wave set

- side-tone telephone set

- Sierpinski set

- single-operator welding set
- sound-powered telephone set
- station set

- subscriber set

- table-top set

- telephone set

- transmission measuring set

- turbine-driven set

- turbine-generator set

- twin-arc welding set
- wall telephone set
5) регулировка; настройка || регулировать; настраивать

6) группа; ансамбль

7) класс; семейство

8) остаточная деформация

9) схватывание || схватываться

to retard set of concrete — замедлять схватывание бетона

10) затвердевание || затвердевать

11) крепление || закреплять

12) геол. свита пород

13) осадка (грунта) || оседать ( о грунте)

14) радиоточка

15) спорт сет

16) включать, приводить в действие

17) мат. множество

relation over a set — отношение на множестве

set closed under operation — множество, замкнутое относительно операции

compact set with a boundary — компакт с краем

set is closed — множество является замкнутым

set forth above — вышеизложенный

to accomplish operations on a set — производить операции над множеством

to set aside — не учитывать, не принимать во внимание; откладывать

- absolute set

- absolutely closed set
- absolutely compact set - absolutely continuous set - absolutely convex set - absolutely irreducible set - absolutely measurable set
- absorbing set

- abstract set

- acceptable solutions set

- accessible set

- acyclic set

- additive set

- adjacency set

- adjacent set

- admissible set

- adsolutely summable set

- affine set

- affinely dependent set
- affinely independent set - affinely invariant set
- algebraic set

- algebraically dependent set
- algebraically independent set
- allowable set

- almost closed set
- almost finite set - almost full set
- ambiguous set

- ample set

- analytic set

- analytically negligible set
- angular cluster set
- antidiagonal set

- antinomous set

- antipodal set

- antisymmetric set

- aposyndetic point set

- applicative set

- approximately compact set

- approximation set

- arcwise connected set

- arithmetical set

- arithmetically definable set

- articulation set

- asymptotic set

- asymptotically decomposable set
- asymptotically indecomposable set - at most denumerable set
- atomic set

- attainable set

- automorphic set

- auxiliary base set

- axiom set

- balanced set

- basic set

- benign set

- bicompact set

- biconnected set

- bifurcation set

- biordered set

- bisimplicial set

- bodily set

- border set

- boundary cluster set

- boundary cluster set

- boundary set

- boundaryless set

- bounded set

- boundedly compact set

- buffer set

- calculable set

- canonical set

- canonically closed set

- capacious set

- capacitable set

- catastrophe set

- categorical set

- centrally-symmetric set
- centro-symmetric set
- chained set

- characteristic set

- choice set

- chordal cluster set

- circled set

- classical set

- clear set

- closed set

- closed-in-rays set

- closed-open set

- cluster set

- cofinal set

- cofinite set

- cogenerating set

- cohesive set

- cohomology set

- coimmune set

- coinfinite set

- coinitial set

- coisolated set

- collectively bounded set

- collinear set

- colorable set

- comaximal set

- combination set

- commutative set

- compact-in-itself set

- compactly connected set

- compensation set

- complementary set

- complete set

- completed set

- completely arithmetically productive set
- completely bounded set - completely continuous set - completely generating set - completely improper set - completely irreducible set - completely nonatomic set - completely normal set - completely ordered set - completely productive set - completely reducible set - completely separable set
- compound set

- conditionally compact set

- confidence set

- confinal set

- conformal set

- conjugate set

- conjunction set

- consistent set

- constant set

- constraint set

- constructible set

- constructive set

- constructively infinite set
- constructively nonrecursive set
- context-free set

- continuity set

- continuous set

- continuously ordered set

- continuum set

- contractible set

- contrafundamental set

- contrastandard set

- control set

- convergence set

- convergent set

- converse set

- convex set

- convexly connected set
- convexly independent set
- correctness set

- countable set

- countably compact set
- countably infinite set
- course set

- coverable set

- covered set

- covering set

- creative set

- critical set

- cubic set

- curvilinear cluster set

- cut set

- cyclic factor set
- cyclically ordered set
- cylinder set

- decidable set

- decision set

- decisive set

- decreasing set

- deductively consistent set
- deductively inconsistent set
- defect set

- deficient set

- definable set

- deformable set

- degeneracy set

- degenerate set

- dendrit set

- dendritic set

- dense set

- dense-in-itself set

- densely ordered set

- dentable set

- denumerable set

- derivative set
- derived set
- derived set

- determined set

- determining set

- diagonalizable set

- difference set

- diffuse set

- directed set

- disagreement set

- disconnected set

- disconnecting set

- discontinuing set

- discontinuous set

- discrete set

- discriminant set

- discriminating set

- disjointed set

- disjunct set

- dispersed set

- divergent set

- dividing set

- dominated set

- dominating set

- doubly indexed set
- doubly well-ordered set - dual set of equations
- dyadic set

- dynamically decomposable set
- dynamically disconnected set - effectively enumerable set - effectively generating set - effectively nonrecursive set - effectively simple set
- effector set

- eigenfuzzy set

- elementarily definable set

- elementary set

- elliptic set

- embedded set

- empty set

- enchained set

- enlarged set

- enlarging set

- enumerably infinite set
- enumeration reducible set
- equicontinuous set

- equivariantly contractible set

- ergodic set

- evanescent set

- event set

- everywhere dense set

- exceptional set

- exhaustive set

- existence set

- existential set

- explicable set

- explicitly definable set

- extendable set

- extended set

- extensive set

- externally stable set

- extraordinary set

- extremally disconnected set

- extreme set

- factor set

- faithful set

- fanlike set

- feasible set

- filter over set

- filtering set

- finely open set
- finely perfect set
- finite-dimensional set

- finitely compact set
- finitely definite set - finitely measurable set
- flat set

- focal set

- frequency set

- frontier set

- full productive set

- full set

- fully ordered set
- fully reducible set - functionally closed set - functionally complete set - functionally open set - fundamental probability set
- generable set

- general recursive set
- generalized almost periodic set
- generated set

- generic set

- global set

- goal set

- ground set

- grounded set

- harmonic set

- hereditary set

- heretical set

- holomorphic set

- homogeneous set

- homothetic set

- hyperarithmetical set

- hyperarithmetically simple set

- hyperbolic set

- hyperhyperimmune set

- hyperhypersimple set

- image set

- implicitly definable set

- imprimitive set

- incompletable set

- inconsistent set

- increasing set

- indecomposable set

- independent set

- index set

- indexed set

- indexing set

- indiscernible set

- indivisible set

- inductive set

- inductively ordered set

- information set

- inseparable set

- integer set

- integrable set

- internally negligible set
- internally stable set
- interpolation set

- interpretable set

- invariant set

- inverse image set

- inverse set

- irrational set

- irreducible set

- irregular set

- isometric set

- joint maximal set

- knot set

- labeled set

- lacunary set

- lattice-ordered set

- learning set

- left admissible set
- left directed set - left normal set - left-hand cluster set
- level set

- lexicographically ordered set

- limit set

- limited set

- limiting set

- linearly bounded set
- linearly ordered set - local peak set - locally arcwise set - locally closed set - locally compact set - locally connected set - locally contractible set - locally convex set - locally finite set - locally invariant set - locally negligible set - locally null set - locally polar set - locally polyhedral set
- located set

- logarithmic set

- magic set

- majorized set

- massive set

- meager set

- measurable set

- mesoic set

- metarecursively enumerable set
- metrically bounded set - metrically dense set
- minimum set

- minorized set

- mobile set

- model set

- model-closed set

- model-complete set

- model-consistent set

- modular set

- monochromatic set

- monomorphic set

- monotonic set

- more-than-countable set

- motor-generator set

- multiperiodic set

- multiplicative set

- multiply connected set
- multiply ordered set
- multisimplicial set

- naturally associated set
- nearly analytic set - nearly closed set
- nebular set

- negligible set

- nested set

- nil weakly closed set

- nilpotent set

- nodal set

- no-more-than countable set

- nonadjacent set

- noncalculable set

- noncontractible set

- noncountable set

- noncountably infinite set

- nondecisive set

- nondegenerate set

- nondense set

- nondenumerable set

- nondenumerable set

- nonempty set

- nonenumerable set

- nonenumerable set

- nonmeager set

- nonmeasurable set

- nonpoint set

- nonrecursive set

- nonscattered set

- nonseparable set

- nonstandard set

- nonvacuous set
- nonvoid set
- nonwandering set

- norm compact set

- normal set

- normally convex set
- normally ordered set
- normed set

- nowhere dense set

- nowhere-dense set

- null set

- nullity set

- number set

- numeral set

- numerated set

- object set

- one-element set

- one-parameter set

- one-point set

- one-sided cluster set
- open in rays set
- open-closed set

- opening set

- operator's set

- opportunity set

- optimal strategy set

- orderable set

- ordering set

- ordinal-definable set

- ordinate set

- orienting defining set

- original set

- orthogonal set

- orthonormal set

- outcome set

- outer set

- paraconvex set

- parametric set

- partial set

- partially ordered set
- partitioned data set
- paved set

- peak set

- perfect set

- perfectly compact set

- permuting set

- piecewise recursive set

- planar set

- pointed set

- polar set

- pole set

- polyadic set

- polygonal set

- polygonally connected set

- polyhedral set

- polynomially convex set
- positively homothetic set
- power set

- power-generating set

- precompact set

- precomplete set

- preferred set

- preinductive set

- preinitial set

- prelocal set

- preordered set

- pretransitive set

- prevalent set

- principal set

- priority set

- proalgebraic set

- product set

- productive set

- projective set

- projective-bounded set

- proper set

- properly consistent set

- properly inconsistent set

- properly valid set

- properly valid set

- pseudocompact set

- pseudoconvex set

- pseudocreative set

- pseudometric set

- pseudometrizable set

- pseudorational set

- pseudosimple set

- pseudospherical set

- pseudosupporting set

- pure set

- quadrangular set

- quasibiorthonormal set

- quasiclosed set

- quasicohesive set

- quasicreative set

- quasidirected set

- quasiequicontinuous set

- quasiminimal set

- quasiopen set

- quasiordered set

- quasiorthonormal set

- quasiperiodic set

- quasipolyhedral set

- quasistrongly compact set

- quotient set

- radial cluster set

- radial set

- radially closed set
- radially open set
- radiated set

- random set

- range set

- ranked set

- rarefied set

- rationally convex set
- rationally independent set
- reachable set

- rectangular set

- rectifiable set

- rectifiably connected set

- recurrent set

- recursively approximable set
- recursively creative set - recursively indecomposable set - recursively isomorphic set - recursively productive set
- reduced set

- reduction set

- reference set

- reflexive set

- regressive set

- regularizing set

- regularly closed set
- regularly convex set - regularly situated sets
- relational set

- relatively bicompact set
- relatively closed set - relatively compact set - relatively dense set - relatively interpretable set - relatively open set
- residual set

- resolutive set

- resolvable set

- resolvent set

- retraceable set

- right admissible set
- right normal set - right-hand cluster set
- ringing set

- rotund set

- rudimentary set

- saturated set

- scar set

- segregate set

- selection set

- semialgebraic set

- semianalytic set

- semiclassical set

- semiclosed set

- semicreative set

- semiinvariant set

- semilinear set

- semilocally connected set

- semimetric set

- semiordered set

- semipolar set

- semiproductive set

- semiregular set

- semisimplicial set

- separability set

- separating set

- sequentially compact set
- sequentially complete set - serially ordered set
- set of adjunction

- set of all set

- set of antisymmetry

- set of assumptions

- set of attainability

- set of automorphisms

- set of axioms

- set of capacity zero

- set of catastrophs

- set of characteristics

- set of choices

- set of coefficients

- set of condensation points

- set of connections

- set of constancy

- set of constraints

- set of content zero

- set of convergence

- set of criteria

- set of current

- set of curves

- set of data

- set of decisions

- set of defining relations

- set of degeneration

- set of descriptions

- set of dice

- set of distinguishable states
- set of elementary events
- set of endomorphisms

- set of equations

- set of finite outcomes
- set of first category - set of first kind - set of first species
- set of five

- set of formulas

- set of functions

- set of gears

- set of generators

- set of imprimitivity

- set of imputations

- set of increase

- set of integers

- set of intransitivity

- set of invariants

- set of mappings

- set of maximum indetermination

- set of measurements

- set of morphisms

- set of multiplicity

- set of numbers

- set of observations

- set of operations

- set of ordinal numbers

- set of outcomes

- set of parameters

- set of patterns

- set of planes

- set of points

- set of positions

- set of positive elements
- set of possible outcomes
- set of postulates

- set of power continuum
- set of probability null
- set of problems

- set of processes

- set of rational numbers

- set of representatives

- set of sampling plans
- set of second category - set of second species
- set of sentences

- set of separability

- set of sets

- set of shuffles

- set of states

- set of statistics

- set of strategies

- set of subalgebras

- set of symbols

- set of threads

- set of three

- set of transformations

- set of uniqueness

- set of unknowns

- set of variances

- set of variates

- set of vectors

- set of warp

- set of weft

- set of words

- sets of equal power

- shift compact set
- shift invariant set
- sifted set

- similarily invariant set
- simply connected set - simply ordered set - simply transitive set
- singleton set

- single-valued set

- singular set

- skew set

- solution set

- somewhere dense set

- spanning set

- sparse set

- special set

- spectral set

- splitting set

- stable set

- star set

- star-shaped set

- state set

- stationary set

- stopping set

- stratified set

- strictly bounded set
- strongly bounded set - strongly closed set - strongly compact set - strongly connected set - strongly convex set - strongly dependent set - strongly disjoint sets - strongly enumerable set - strongly independent set - strongly minimal set - strongly polar set - strongly reducible set - strongly separated set - strongly simple set - strongly stratified set
- structured set

- subgeneric set

- subinvariant set

- subjective set

- subtotal cluster set

- sufficient set

- summable set

- superarithmetical set

- superficial cluster set

- superposable set

- supersparse set

- symmetrical set

- taboo set

- tame set

- tangential cluster set
- tautologically complete set - tautologically consistent set - tautologically inconsistent set
- tensorial set

- terminal set

- ternary set

- test set

- thick set

- thin set

- tie set

- tight set

- time set

- topologically equivalent sets

- topologically free set

- topologized set

- total set

- totally bounded set
- totally disconnected set - totally imperfect set - totally ordered set - totally primitive set - totally unimodular set - totally unordered set
- transcendent set

- transfer set

- transformation set

- transitivity set

- transverse set

- trigonalizable set

- truncation set

- truth set

- truth-table complete set
- truth-table reducible set
- two-element set

- two-sided set

- ultimately periodic set

- ultrafiltered set

- unbounded set

- uncertainty set

- unconnected set

- uncountable set

- underlying set

- unglued set

- unicity set

- unidentifiable set

- unification set

- uniform set

- uniformly attracting set
- uniformly bounded set - uniformly continuous set - uniformly convergent set - uniformly integrable set - uniformly universal set - unilaterally connected set
- unit set

- unitary set

- unit-productive set

- universal set

- universally measurable set

- unlimited set

- unordered set

- unrecognizable set

- unsparse set

- unstable set

- unstructured set

- vacant set
- vacuous set
- vector set

- vertex set

- void set

- weakly bounded set
- weakly compact set - weakly convex set - weakly n-dimensional set - weakly stratified set - weakly wandering set - well chained set - well founded set - well measurable set - well ordering set - well quasiordered set
- well-ordered set

- zero-dimensional set

English-Russian scientific dictionary > set

См. также в других словарях:

Church–Turing thesis — Church s thesis redirects here. For the constructive mathematics assertion, see Church s thesis (constructive mathematics). In computability theory, the Church–Turing thesis (also known as the Church–Turing conjecture, Church s thesis, Church s… … Wikipedia
Recursion theory — Recursion theory, also called computability theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability… … Wikipedia
Computability theory — For the concept of computability, see Computability. Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown … Wikipedia
History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
Μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Algorithm characterizations — The word algorithm does not have a generally accepted definition. Researchers are actively working in formalizing this term. This article will present some of the characterizations of the notion of algorithm in more detail. This article is a… … Wikipedia
realism — /ree euh liz euhm/, n. 1. interest in or concern for the actual or real, as distinguished from the abstract, speculative, etc. 2. the tendency to view or represent things as they really are. 3. Fine Arts. a. treatment of forms, colors, space, etc … Universalium
Decision problem — A decision problem has only two possible outputs, yes or no (or alternately 1 or 0) on any input. In computability theory and computational complexity theory, a decision problem is a question in some formal system with a yes or no answer,… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на русский

effectively decidable

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на русский

effectively decidable

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: